domain of order

有序畴